Analysis of executables for WCET concerns
نویسندگان
چکیده
In this paper we present an analysis of assembly code for safetycritical embedded environments. Since local and global variables are the core concepts affecting the control flow of such programs, we first concentrate on classifying memory accesses as candidates for local or global variables. This is achieved by an interprocedural analysis of affine equality relations. We present how to refine this information via a combined affine equality relation and interval analysis. Thus, we achieve a sufficiently accurate classification of memory accesses in this class of binaries. As an application, we refine WCET analyses by yielding alignment properties of memory accesses.
منابع مشابه
OTAWA, Open Tool for Adaptative WCET Analysis
OTAWA is a generic framework for the computation of Worst-Case Execution Time. Delivered under the LGPL licence, it provides a versatile environment with services for static analyses on executables.
متن کاملImproving Timing Analysis for Matlab Simulink/Stateflow
Control software in embedded hard real-time systems is subject to stringent timing constraints. To compute the required safe upper bounds on its worst-case execution-time (WCET), static timing analysis is used in industry [1]. Today control software is predominantly developed with model-based design tools such as Matlab Simulink/Stateflow. However, current timing tools lose precision as they co...
متن کاملInterprocedural analysis of low-level code
Static analysis of machine code is employed for reverse engineering, automatic detection of low-level errors such as memory violations, malware detection, and many other application areas. Only at the level of executables can all errors introduced by programmers or even by compilers be identified. Analysis of machine code comes at a price: high-level language features such as local variables an...
متن کاملDiscussion of Misconceptions about WCET Analysis
Worst-case execution time (WCET) analysis tools are needed for the development of hard real-time systems. Despite the theoretic advances in academic research in WCET there has been hardly any impact on the industrial practice of timing analysis. The essential question is why it was not possible to provide more influential research over the last one-and-a-half decades. This paper gives construct...
متن کاملWCET Analysis: The Annotation Language Challenge
Worst-case execution time (WCET) analysis is indispensable for the successful design and development of systems, which, in addition to their functional constraints, have to satisfy hard real-time constraints. The expressiveness and usability of annotation languages, which are used by algorithms and tools for WCET analysis in order to separate feasible from infeasible program paths, have a cruci...
متن کامل